In this paper we study the algebraic structure ofω-stable bilinear maps, arbitrary rings, and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.

In this paper we study generic complexity of undecidable problems. It turns out that some classical undecidable problems are, in fact, strongly undecidable, i.e., they are undecidable on every strongly generic subset of inputs. For instance, the classical Halting Problem is strongly undecidable. Moreover, we prove and analog of the Rice theorem for strongly undecidable problems, which provides plenty of examples of strongly undecidable problems. Then we show that there are natural super-undecidable problems. i.e., problem which are undecidable on every (...) generic (not only strongly generic) subset of inputs. In particular, there are finitely presented semigroups with super-undecidable word problem. To construct strongly- and super-undecidable problems we introducea method of generic amplification (an analog of the amplification in complexity theory). Finally, we construct absolutely undecidable problems, which stay undecidable on every non-negligible set of inputs. Their construction rests on generic immune sets. (shrink)

This article is devoted to the issue of Martin Heidegger’s influence on Hannah Arendt as an offshoot of the debates over the Black Notebooks and Heidegger’s attitude toward National Socialism. It c...

In this paper, we give a complete algebraic description of groups elementarily equivalent to the P. Hall completion of a given free nilpotent group of finite rank over an arbitrary binomial domain. In particular, we characterize all groups elementarily equivalent to a free nilpotent group of finite rank.

We define an appropriate analog of the Morley rank in a totally transcendental homogeneous model with type diagram D. We show that if RM[p] = α then for some 1 ≤ n < ω the type p has n, but not n + 1, distinct D-extensions of rank α. This is surprising, because the proof of the statement in the first-order case depends heavily on compactness. We also show that types over (D,ℵ₀)-homogeneous models have multiplicity (Morley degree) 1.

At the beginning of 20th century, there was a problem of establishing which version of the association of Kant’s and Marx’s ideas is correct. If some Legal Marxists more or less combined Kant and Marx, most Russian Social Democrats, especially Bolsheviks, were against such an association. Under the influence of G. V. Plekhanov, Russian Marxists announced a sharply critical attitude toward Kant’s philosophy. This position was reinforced by Russian philosophers, poets, and slavophiles who accused Kant of being militarist. During the (...) World War I, both tendencies faced each other. Plekhanov’s desperate appeal to „the simple laws or morals and justice” and Kant’s “Critique of Practical Reason”, which was supported by L. I. Axelrod, failed. It was rejected by the majority of Marxists both during the World War I and after the triumph of the 1917 October Revolution. (shrink)

We argue that constructive approaches in epistemology and systems science, which are focused on normativity, knowledge, and communication of organisms and emphasize the primacy of activity, self-construction, and niche-construction in the cognitive agents, fit naturally to the both methodology and theory of biosemiotics. In particular, constructive view was already present in the works of the major precursors of biosemiotics: von Uexküll and Bateson, and to some extent Peirce. Biosemiotics has a chance to function as a mediating field in the theoretical (...) integration of semiotics with its construction-related sister disciplines (e.g., second order cybernetics, autopoiesis, constructivism, enactivism, and interactivism) because of its explicit assumption of the semiotic nature of life and agency and its objectified “first person” view to biosemiotic agents, the view that nevertheless avoids the agnostic attitude towards reality. (shrink)

In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. -/- For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that (...) we call divisible amalgamation. -/- The main result of this paper is that if c is a finite tuple algebraic over a tuple a, the Lascar group of stp(ac) is abelian, and the underlying theory is G-compact, then the Lascar groups of stp(ac) and of stp(a) are isomorphic. To show this, we prove a purely compact group-theoretic result that any compact connected abelian group is isomorphic to its quotient by every finite subgroup. -/- Several (counter)examples arising in connection with the theoretical development of this note are presented as well. For example, we show that, in the main result above, neither the assumption that the Lascar group of stp(ac) is abelian, nor the assumption of c being finite can be removed. (shrink)

oris, 1986, 17-34, Seminarberichte 86, Humboldt University, Berlin, where, with G. Cherlin, we gave a detailed proof of a result of Alexei L. Semenov that the theory of (N, +, 2x) is decidable and admits quantifier elimination in an expansion of the language containing the Presburger..

The Irish poet W. B. Yeats once wrote, with great sapience and perception: Nor dread, nor hope attend A dying animal; A man awaits his end Dreading and hoping all. That death has ever been a problem to man is attested as far back as we can trace our species in the archaeological record—indeed, it seems to have been a problem even for that immediate precursor of homo sapiens, the so-called Neanderthal Man; for he buried his dead.

René Girard, Theology, and Pop Culture provides a fresh and engaging introduction to and the application of René Girard's mimetic theory. From movies to social media, television to graphic novels, the contributors explore popular culture's theological depths and challenge readers to consider what culture reveals about them.

Before talking about national science as a specific phenomenon we find out the essence of science as a phenomenon in general. We note that science is one of the most complex phenomena of social life. Complex understanding of it complicates the fact that science is structurally extremely complex, polyfunctional, historically variable, with many of its faces included in this or that sphere of social life. It therefore appears as an extremely diverse social phenomenon. This raises some difficulties in developing a (...) general definition of it. As G. Volkov correctly pointed out, "there is nothing simpler than giving a definition to any phenomenon, when the whole thing is only in the formulation, and there is nothing more complicated than when it comes to the concentration in the concentrated form of the very essence of the object under study". (shrink)

In questo volume sono raccolti gli scritti frutto della ricerca effettuata nell’ambito del Progetto: “Ontologia Formale e Ontologie: uno Strumento per il Dialogo Interdisciplinare e Interculturale”. Scopo del progetto è mostrare al pubblico intellettuale italiano, sia di estrazione scientifica che umanistica, le potenzialità dello strumento dell’ontologia in generale, e dell’ontologia formale in particolare, per il dialogo costruttivo interdisciplinare e interculturale. Dialogo interdisciplinare per il rapporto fra discipline scientifiche e umanistiche, dialogo interculturale per il rapporto fra le diverse culture e religioni (...) in una società globalizzata. (shrink)

The aim of this article is to offer what I consider to be necessary substantiati for the view that the description of the walk which acts as a frame for the singing contest in Id. 7 is based on a precise knowledge of the geography of t island of Cos and that the poem thus displays a topographical realism unique Greek pastoral.